Parameterized Complexity of Small Weight Automorphisms

نویسندگان

  • Vikraman Arvind
  • Johannes Köbler
  • Sebastian Kuhnert
  • Jacobo Torán
چکیده

We consider the PermCode problem to decide, given a representation of a permutation group G and a parameter k, whether there is a non-trivial element of G with support at most k. This problem generalizes several problems in the literature. We introduce a new method that allows to reduce the maximal orbit size of the group being considered while maintaining elements with small support in the group. Using this technique we provide upper and lower bounds for several variants of the parameterized Hypergraph Isomorphism Problem that extend previous results on parameterized Graph Isomorphism.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Aspects of a multivariate complexity analysis for Rectangle Tiling

We initiate a parameterized complexity study of the NP-hard problem to tile a positive integer matrix with rectangles, keeping the number of tiles and their maximum weight small. We show that the problem remains NP-hard even for binary matrices only using 1× 1 and 2× 2-squares as tiles and provide insight into the influence of naturally occurring parameters on the problem’s complexity.

متن کامل

Relationship between circuit complexity and symmetry

It is already shown that a Boolean function for a NP-complete problem can be computed by a polynomial-sized circuit if its variables have enough number of automorphisms. Looking at this previous study from the different perspective gives us the idea that the small number of automorphisms might be a barrier for a polynomial time solution for NP-complete problems. Here I show that by interpreting...

متن کامل

Reducing a Target Interval to a Few Exact Queries

Many combinatorial problems involving weights can be formulated as a so-called ranged problem. That is, their input consists of a universe U , a (succinctly-represented) set family F ⊆ 2 , a weight function ω : U → {1, . . . , N}, and integers 0 ≤ l ≤ u ≤ ∞. Then the problem is to decide whether there is an X ∈ F such that l ≤ ∑ e∈X ω(e) ≤ u. Well-known examples of such problems include Knapsac...

متن کامل

Parameterized computational complexity of finding small-diameter subgraphs

Finding subgraphs of small diameter in undirected graphs has been seemingly unexplored from a parameterized complexity perspective. We perform the first parameterized complexity study on the corresponding NP-hard s-Club problem. We consider two parameters: the solution size and its dual.

متن کامل

Parameterized Circuit Complexity and the W Hierarchy

A parameterized problem 〈L, k〉 belongs to W [t] if there exists k′ computed from k such that 〈L, k〉 reduces to the weight-k′ satisfiability problem for weft-t circuits. We relate the fundamental question of whether the W [t] hierarchy is proper to parameterized problems for constant-depth circuits. We define classes G[t] as the analogues of AC depth-t for parameterized problems, and N [t] by we...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Electronic Colloquium on Computational Complexity (ECCC)

دوره 23  شماره 

صفحات  -

تاریخ انتشار 2016